Search results for "Category of sets"
showing 7 items of 7 documents
A fuzzification of the category of M-valued L-topological spaces
2004
[EN] A fuzzy category is a certain superstructure over an ordinary category in which ”potential” objects and ”potential” morphisms could be such to a certain degree. The aim of this paper is to introduce a fuzzy category FTOP(L,M) extending the category TOP(L,M) of M-valued L- topological spaces which in its turn is an extension of the category TOP(L) of L-fuzzy topological spaces in Kubiak-Sostak’s sense. Basic properties of the fuzzy category FTOP(L,M) and its objects are studied.
On the category Set(JCPos)
2006
Category Set(JCPos) of lattice-valued subsets of sets is introduced and studied. We prove that it is topological over SetxJCPos and show its ''natural'' coalgebraic subcategory.
Some remarks on the category SET(L), part III
2004
This paper considers the category SET(L) of L-subsets of sets with a fixed basis L and is a continuation of our previous investigation of this category. Here we study its general properties (e.g., we derive that the category is a topological construct) as well as some of its special objects and morphisms.
Categories of lattice-valued sets as categories of arrows
2006
In this paper we introduce a category X(A) which is a generalization of the category of lattice-valued subsets of sets Set(JCPos) introduced by us earlier. We show the necessary and sufficient conditions for X(A) to be topological over XxA.
On limits and colimits of variety-based topological systems
2011
The paper provides variety-based extensions of the concepts of (lattice-valued) interchange system and space, introduced by Denniston, Melton and Rodabaugh, and shows that variety-based interchange systems incorporate topological systems of Vickers, state property systems of Aerts, Chu spaces (over the category of sets in the sense of Pratt) of P.-H. Chu and contexts (of formal concept analysis) of Wille. The paper also provides an explicit description of (co)limits in the category of variety-based topological systems and applies the obtained results to extend the claim of Denniston et al. that the category of topological systems of Vickers is small initially topological over the category o…
Category, Measure, Inductive Inference: A Triality Theorem and Its Applications
2002
The famous Sierpinski-Erdos Duality Theorem [Sie34b, Erd43] states, informally, that any theorem about effective measure 0 and/or first category sets is also true when all occurrences of "effective measure 0" are replaced by "first category" and vice versa. This powerful and nice result shows that "measure" and "category" are equally useful notions neither of which can be preferred to the other one when making formal the intuitive notion "almost all sets." Effective versions of measure and category are used in recursive function theory and related areas, and resource-bounded versions of the same notions are used in Theory of Computation. Again they are dual in the same sense.We show that in…
On a generalization of Goguen's category Set(L)
2007
The paper considers a category which generalizes Goguen's category Set(L) of L-fuzzy sets with a fixed basis L. We show the necessary and sufficient conditions for the generalized category to be a quasitopos and consider additional inner structure supplied by the latter property.